π-Calculus, internal mobility, and agent-passing calculi
نویسندگان
چکیده
منابع مشابه
-calculus, Internal Mobility, and Agent-passing Calculi -calculus, Internal Mobility, and Agent-passing Calculi
The-calculus is a process algebra which originates from CCS and permits a natural modelling of mobility (i.e., dynamic reconngurations of the process linkage) using communication of names. Previous research has shown that the-calculus has much greater expres-siveness than CCS, but also a much more complex mathematical theory. The primary goal of this work is to understand the reasons of this ga...
متن کامل-calculus, internal mobility, and agent-passing calculi
The-calculus is a process algebra which originates from CCS and permits a natural modelling of mobility (i.e., dynamic reconngurations of the process linkage) using communication of names. Previous research has shown that the-calculus has much greater expressiveness than CCS, but also a much more complex mathematical theory. The primary goal of this work is to understand the reasons of this gap...
متن کاملOn the Expressiveness of Internal Mobility in Name-Passing Calculi
We consider πI, a fragment of the π-calculus where only exchange of private names among processes is permitted (internal mobility). The calculus πI enjoys a simpler mathematical treatment, very close to that of CCS. In particular, πI avoids the concept of substitution. We provide an encoding from the asynchronous π-calculus to πI and then prove that two processes are barbed equivalent in π-calc...
متن کاملOn Encoding the π-calculus in Higher-Order Calculi
The connection between first-order calculi and higher-order calculi have been examined in many setting within the area of process calculi. In this paper we examine two existing encodings of the π-calculus in higherorder calculi: the encoding in HOπ-calculus by Sangiorgi and Walker and the encoding in Plain CHOCS by Thomsen. We propose a new encoding of the synchronous π-calculus in the calculus...
متن کاملCINNI – A Generic Calculus of Explicit Substitutions and its Application to λ-, ς- and π-Calculi
We approach the general problem of representing higher-order languages, that are usually equipped with special variable binding constructs, in a less specialized firstorder framework such as membership equational logic and the corresponding version of rewriting logic. The solution we propose is based on CINNI, a new calculus of explicit substitutions that makes use of a term representation that...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1996
ISSN: 0304-3975
DOI: 10.1016/0304-3975(96)00075-8